Is the fact that our universe contains fine-tuned life evidence that we live in a multiverse? Ian Hacking and Roger White influentially argue that it is not. We approach this question through a systematic framework for self-locating epistemology. As it turns out, leading approaches to self-locating evidence agree that the fact that our own universe contains fine-tuned life indeed confirms the existence of a multiverse. This convergence is no accident: we present two theorems showing that, in this setting, any updating (...) rule that satisfies a few reasonable conditions will have the same feature. The conclusion that fine-tuned life provides evidence for a multiverse is hard to escape. (shrink)

Draft version of essay. ABSTRACT: Benjamin Whichcote developed a distinctive account of human nature centered on our moral psychology. He believed that this view of human nature, which forms the foundation of “Cambridge Platonism,” showed that the demands of reason and faith are not merely compatible but dynamically supportive of one another. I develop an interpretation of this oft-neglected and widely misunderstood account of human nature and defend its viability against a key objection.

This essay offers a defense of Axiarchism's answer to the question, "Why does the world exit?" against prominent objections leveled against it by Derek Parfit. Parfit rejects the Axiarchist answer while abstracting from it his own Selector strategy. I argue that the abstraction fails, and that even if we were to regard Axiarchism as an instance of a Selector hypothesis, we should regard it as the only viable one. I also argue that Parfit's abstraction leads him to mistake the nature (...) and, thereby, the force of Axiarchism's claim to being an ultimate explanation. Finally, I defend the Axiarchist's claim that the good could not fail to rule. (shrink)

This essay consists of two parts. Part I offers an explanation of Berkeley's understanding of the relationship between materialism and evil. Berkeley regards materialism as the chief instrumental cause of evil in the world. It is the belief in matter that encourages us to believe that God is not immediately, intimately present in every aspect of our life. Immaterialism, by contrast, makes God's immediate presence vivid and thereby serves to undermine the motivation to vice. Part II locates Berkeley's view on (...) matter and evil within the Christian Neoplatonic tradition. I compare Plotinus' minimalist approach to matter and his identification of matter with evil to Berkeley's eliminitivism about matter and his corresponding identification of materialism as the chief source of evil. (shrink)

There is a problem regarding God and perception right at the heart of Berkeley ’s metaphysics. With respect to this problem, I will argue for : It is intractable. Berkeley has no solution to this problem, and neither can we hope to offer one on his behalf. However, I will also argue for : The truth of need not be seen as threatening the viability of Berkeley ’s metaphysics. In fact, it may even be seen as speaking in its favor.

“There are no gaps in logical space,” David Lewis writes, giving voice to sentiment shared by many philosophers. But different natural ways of trying to make this sentiment precise turn out to conflict with one another. One is a *pattern* idea: “Any pattern of instantiation is metaphysically possible.” Another is a *cut and paste* idea: “For any objects in any worlds, there exists a world that contains any number of duplicates of all of those objects.” We use resources from model (...) theory to show the inconsistency of certain packages of combinatorial principles and the consistency of others. (shrink)

Closure is the epistemological thesis that if S knows that P and knows that P implies Q, then if S infers that Q, S knows that Q. Fred Dretske acknowledges that closure is plausible but contends that it should be rejected because it conflicts with the plausible thesis: Conclusive reasons (CR): S knows that P only if S believes P on the basis of conclusive reasons, i.e., reasons S wouldn‘t have if it weren‘t the case that P. Dretske develops an (...) analysis of knowing that centers on CR, and argues that the requirement undermines skepticism by implying the falsity of closure. We develop a Dretske-style analysis of knowing that incorporates CR, and we argue that this analysis not only accords with closure, but also implies it. In addition, we argue that the analysis accounts for the prima facie plausibility of closure-invoking skeptical arguments, and nonetheless implies that they are fallacious. If our arguments turn out to be sound, the acceptability of Dretske‘s analysis of knowing will be significantly enhanced by the fact that, despite implying closure, it undermines closure-based skepticism. (shrink)

ABSTRACT Drawing inspiration from Fred Dretske, L. S. Carrier, John A. Barker, and Robert Nozick, we develop a tracking analysis of knowing according to which a true belief constitutes knowledge if and only if it is based on reasons that are sensitive to the fact that makes it true, that is, reasons that wouldn’t obtain if the belief weren’t true. We show that our sensitivity analysis handles numerous Gettier-type cases and lottery problems, blocks pathways leading to skepticism, and (...) validates the epistemic closure thesis that correct inferences from known premises yield knowledge of the conclusions. We discuss the plausible views of Ted Warfield and Branden Fitelson regarding cases of knowledge acquired via inference from false premises, and we show how our sensitivity analysis can account for such cases. We present arguments designed to discredit putative counterexamples to sensitivity analyses recently proffered by Tristan Haze, John Williams and Neil Sinhababu, which involve true statements made by untrustworthy informants and strange clocks that sometimes display the correct time while running backwards. Finally, we show that in virtue of employing the paradox-free subjunctive conditionals codified by Relevance Logic theorists instead of the paradox-laden subjunctive conditionals codified by Robert Stalnaker and David Lewis. (shrink)

How should a group with different opinions (but the same values) make decisions? In a Bayesian setting, the natural question is how to aggregate credences: how to use a single credence function to naturally represent a collection of different credence functions. An extension of the standard Dutch-book arguments that apply to individual decision-makers recommends that group credences should be updated by conditionalization. This imposes a constraint on what aggregation rules can be like. Taking conditionalization as a basic constraint, we gather (...) lessons from the established work on credence aggregation, and extend this work with two new impossibility results. We then explore contrasting features of two kinds of rules that satisfy the constraints we articulate: one kind uses fixed prior credences, and the other uses geometric averaging, as opposed to arithmetic averaging. We also prove a new characterisation result for geometric averaging. Finally we consider applications to neighboring philosophical issues, including the epistemology of disagreement. (shrink)

Famous results by David Lewis show that plausible-sounding constraints on the probabilities of conditionals or evaluative claims lead to unacceptable results, by standard probabilistic reasoning. Existing presentations of these results rely on stronger assumptions than they really need. When we strip these arguments down to a minimal core, we can see both how certain replies miss the mark, and also how to devise parallel arguments for other domains, including epistemic “might,” probability claims, claims about comparative value, and so on. A (...) popular reply to Lewis's results is to claim that conditional claims, or claims about subjective value, lack truth conditions. For this strategy to have a chance of success, it needs to give up basic structural principles about how epistemic states can be updated—in a way that is strikingly parallel to the commitments of the project of dynamic semantics. (shrink)

Although Paul Churchland and Jerry Fodor both subscribe to the so-called theory-theory– the theory that folk psychology (FP) is an empirical theory of behavior – they disagree strongly about FP’s fate. Churchland contends that FP is a fundamentally flawed view analogous to folk biology, and he argues that recent advances in computational neuroscience and connectionist AI point toward development of a scientifically respectable replacement theory that will give rise to a new common-sense psychology. Fodor, however, wagers that FP will be (...) largely preserved and vindicated by scientific investigations of behavior. Recent findings by developmental psychologists, I argue, will push both Churchlandians and Fodorians toward the pessimistic view that FP is a misguided theory that will never be displaced, because it is, so to speak, built into our cognitive systems. I explore the possibility of preserving optimism by rejecting the theory-theory and adopting the simulation theory, a competing view developed by Robert Gordon, Alvin Goldman, and Jane Heal. According to simulationists, common-sense interpretation of behavior is accomplished by means of pretense-like operations that deploy the cognitive system’s own reasoning capabilities in a disengaged manner. Since on this view no theory-like set of principles would be needed, the simulation theory seems to enjoy a simplicity advantage over the theory-theory. Steven Stich and Shawn Nichols, however, contend that as the cognitive system would require special mechanisms for disengaged operation, the simplicity question cannot be resolved until suitable computational models are developed. I describe a set of models I have constructed to meet this need, and I discuss the contribution such models can make to determining FP’s fate. (shrink)

In a recent very interesting and important challenge to tracking theories of knowledge, Williams & Sinhababu claim to have devised a counter-example to tracking theories of knowledge of a sort that escapes the defense of those theories by Adams & Clarke. In this paper we will explain why this is not true. Tracking theories are not undermined by the example of the backward clock, as interesting as the case is.

In “Beat the (Backward) Clock,” we argued that John Williams and Neil Sinhababu’s Backward Clock Case fails to be a counterexample to Robert Nozick’s or Fred Dretske’s Theories of Knowledge. Williams’ reply to our paper, “There’s Nothing to Beat a Backward Clock: A Rejoinder to Adams, Barker and Clarke,” is a further attempt to defend their counterexample against a range of objections. In this paper, we argue that, despite the number and length of footnotes, Williams is still wrong.

This study investigates the significant relationship between procrastination and academic burnout among first-year college students. Employing correlational design and standardized tests, the statistical analysis reveals that the r coefficient of 0.33 indicates a low positive correlation between the variables. The p-value of 0.00, which is less than 0.05, leads to the decision to reject the null hypothesis. Hence, a significant relationship exists between procrastination and academic burnout among college students.

Published in 1903, this book was the first comprehensive treatise on the logical foundations of mathematics written in English. It sets forth, as far as possible without mathematical and logical symbolism, the grounds in favour of the view that mathematics and logic are identical. It proposes simply that what is commonly called mathematics are merely later deductions from logical premises. It provided the thesis for which _Principia Mathematica_ provided the detailed proof, and introduced the work of Frege to a wider (...) audience. In addition to the new introduction by John Slater, this edition contains Russell's introduction to the 1937 edition in which he defends his position against his formalist and intuitionist critics. (shrink)

This is an extended review of John Dupré's _Processes of Life_, a collection of essays. It clarifies Dupré's concepts of reductionism and anti-reductionism, and critically examines his associated discussions of downward causation, and both the context sensitivity and multiple realization of categories. It reviews his naturalistic monism, and critically distinguishes between his realism about categories and constructivism about classification. Challenges to his process ontology are presented, as are arguments for his pluralism about scientific categories. None of his main conclusions (...) are rejected; rather it is main arguments for them that are the focus. (shrink)

At the heart of semantics in the 20th century is Frege’s distinction between sense and force. This is the idea that the content of a self-standing utterance of a sentence S can be divided into two components. One part, the sense, is the proposition that S’s linguistic meaning and context associates with it as its semantic interpretation. The second component is S’s illocutionary force. Illocutionary forces correspond to the three basic kinds of sentential speech acts: assertions, orders, and questions. Forces (...) are then kinds of acts in which propositions are deployed with certain purposes. I sketch a speech-act theoretic semantics in which that distinction does not hold. Instead of propositions and forces, the theory proposes proto-illocutionary acts and illocutionary acts. The orthodox notion of a proposition plays no role in the framework, which is a good thing, since that notion is deeply problematic. The framework also shows how expressionists, who embrace a sophisticated speech-act framework, face no Frege-Geach embedding problem, since the latter assumes the Sense/Force distinction. (shrink)

Contents: Introduction / Naïve Logicism / Restricted Logicism / Metaphysics (Early, Middle, Late) / Knowledge (Early, Middle, Late) / Language (Early, Middle, Late) / The Infinite.

Contrary to John Bramhall and critics like him, Thomas Hobbes takes the view that no account of liberty or freedom can serve as the relevant basis on which to distinguish moral from nonmoral agents or explains the basis on which an agent becomes subject to law and liable to punishment. The correct compatibilist strategy rests, on Hobbes’s account, with a proper appreciation and description of the contractualist features that shape and structure the moral community. From this perspective human agents (...) may indeed use their liberty to make themselves moral agents. In doing this, however, they are not employing a distinct kind of liberty but rather using a liberty that they share with animals and other nonmoral agents to perform a distinct kind of act (i.e., consent) whereby they become moral agents subject to law and any punishments that are required to enforce it. ____ -/- Originally published in the Oxford Handbook of Philosophy in Early Modern Europe - eds. D. Clarke & C. Wilson, OUP 2011 -/- Republished in Recasting Hume and Early Modern Philosophy: Selected Essays - OUP 2021: Paul Russell]. (shrink)

Contributors: -/- John Beatty (British Columbia); Kelly James Clark (Ibn Haldun, Istanbul); Angela Coventry (Portland State); Thomas Holden (UC Santa Barbara); Willem Lemmens (Antwerp); Robin Le Poidevin (Leeds); Jennifer Marusic (Edinburgh); Kevin Meeker (South Alabama); Amyas Merivale (Oxford); Peter Millican (Oxford); Dan O’Brien (Oxford Brookes); Graham Oppy (Monash); Paul Russell (Lund); Andre C. Willis (Brown).

Neil Sinhababu and I presented Backward Clock, an original counterexample to Robert Nozick’s truth-tracking analysis of propositional knowledge. Fred Adams, John Barker and Murray Clarke argue that Backward Clock is no such counterexample. Their argument fails to nullify Backward Clock which also shows that other tracking analyses, such as Dretske’s and one that Adams et al. may well have in mind, are inadequate.

FREE WILL. The problem of "free will" has generally been interpreted in modern times in terms of the question of whether or not moral freedom and responsibility are compatible with causality and determinism. Philosophers in the empiricist tradition have defended, with remarkable consistency, a compatibilist position on this issue. Moreover, most of the major figures of the empiricist tradition (i.e. Hobbes, Locke, Hume, Mill, Schlick, and Ayer) are understood to have endorsed and contributed to a single, unified strategy on this (...) subject. The position that these philosophers developed reflects, in large measure, the "antimetaphysical" and naturalistic orientation of empiricist philosophy.... -/- . (shrink)

“Pragmatic encroachers” about knowledge generally advocate two ideas: (1) you can rationally act on what you know; (2) knowledge is harder to achieve when more is at stake. Charity Anderson and John Hawthorne have recently argued that these two ideas may not fit together so well. I extend their argument by working out what “high stakes” would have to mean for the two ideas to line up, using decision theory.

THE SUBJECT MATTER of this essay is Locke's well-known discussion of consent in sections 116-122 of the Second Treatise of Government.' I will not be concerned to discuss the place of consent in Locke's political philosophy 2 My concerns are somewhat narrower than this. I will simply be concerned to show that in important respects several recent discussions of Locke's political philosophy have misrepresented Locke's views on the subject of express and tacit consent. At theheart of these misinterpretations lie misunderstandings (...) about the way in which landownership and the inheritance of land are related to express and tacit consent. I will show that these misinterpretations of Locke's views are, to a certain extent, indicative of internal strains that can bediscovered in Locke's arguments. My discussion will fall into four sections. In the first I will try toclarify Locke's views on the nature of express consent. I will show that Locke's views on this matter, when examined in their historical context, are not as obscure as some critics have suggested. In the second section I will examine Locke's views on the nature of tacit consent. I will be especially concerned to examine the relationship between landownership and express and tacit consent. In the third section I will look at Locke's views on the inheritance of land and how it relates to express and tacit consent. I will show that his views on this matter are not entirely consistent. In one passage Locke suggests that inheritance of land requires only tacit consent whereas, in another passage, he suggests that inheritance of land requires full membership of society and express consent. In the fourth and final section I will summarize the salient features of my interpretation of Locke's views on the subject of express and tacit consent. I will also briefly note interpretations of Locke's views that have been rejected in the course of this essay. . -/- . (shrink)

For well over a century the dominant narrative covering the major thinkers and themes of early modern British philosophy has been that of “British Empiricism”, within which the great triumvirate of Locke-Berkeley-Hume are taken to be the dominant figures. Although it is now common to question this schema as a way of analyzing and understanding the period in question, it continues to command considerable authority and acceptance. (One likely reason for this is that no credible or plausible alternatives structures or (...) schemas of analysis have suggested themselves.) Be this as it may, the analysis of the rival systems of Clarke, Berkeley and Hume makes clear that this narrative, however deeply entrenched it may be, is wholly misleading and both distorts and obscures key themes and figures in the period in question. (shrink)

CORCORAN RECOMMENDS COCCHIARELLA ON TYPE THEORY. The 1983 review in Mathematical Reviews 83e:03005 of: Cocchiarella, Nino “The development of the theory of logical types and the notion of a logical subject in Russell's early philosophy: Bertrand Russell's early philosophy, Part I”. Synthese 45 (1980), no. 1, 71-115 .

It is widely agreed by philosophers that the so-called “Frege-Russell definition of natural number” is actually an assertion concerning the nature of the numbers and that it cannot be regarded as a definition in the ordinary mathematical sense. On the basis of the reasoning in this paper it is clear that the Frege-Russell definition contradicts the following three principles (taken together): (1) each number is the same entity in each possible world, (2) each number exists in each possible (...) world, (3) some entities existing in the actual world do not exist in every possible world. Since these principles seem to be true, the paper is a refutation of the Frege-Russell definition. The paper does more. It shows that the contradictory of the Frege-Russell definition follows even when principles 2 and 3 are replaced by one considerably weaker principle. The ideas contained in the paper are related to two earlier objections to the definition. The first, sometimes attributed to the mathematician, C. S. Keyser, is that existence of the numbers as defined implies the existence of infinitely many particulars in each possible world. The second is, in effect, an idea which is said to have led Whitehead to reject the definition of number to which he had subscribed in Principia Mathematica. Whitehead is supposed to have said that he could not believe that the number two changes every “time twins are born”. The mathematician H. Jeffreys expressed similar ideas [Philos. of Sci. 5 (1938), 434–451]. One of the merits of the author’s work is that it refutes the Frege-Russell definition without the need to take sides on controversial points presupposed by the Keyser and Whitehead objections. The objections made by the author are therefore not to be identified with the Keyser and Whitehead objections. Even if the author’s work is to be regarded as a refinement and integration of previous ideas, it is nevertheless a contribution—not only because the basic points are well worth repeating but also because the refinements are logically significant improvements and because the author has stated them clearly and concisely in the idiom of contemporary philosophy. (shrink)

Hume's Treatise of Human Nature was published in the form of three separate books. The first two, "Of the Understanding" and "Of the Pas- sions," were published in London in January 1739 by John Noon. The third, "Of Morals," was published independently in London by Thomas Longman in November 1740.2 The title and subtitles on all three books are the same: A Treatise of Human Nature: Being An Attempt to introduce the experimental Method of Reasoning into Moral Subjects. On (...) the title page of the first two books Hume employs an epigram from Tacitus: Rara temporumfelicitas, ubi sentire, quae velis; & quae sentias, dicere licet. ["Seldom are men blessed with times in which they may think what they like and say what they think."] On the title page of the third book this epigram is replaced by an epigram taken from the ninth book of Lucan's Pharsalia: Durae semper virtutis amator, Quaere quid est virtus, et posce exemplar honesti. ["Thou that to virtue ever wer't inclined, learn what it is, how certainly defin'd, and leave some perfect Rule to guide Mankind."] Given the context and the prominence of these epigrams, it is a curious fact that they have attracted little or no attention or comment from Hume scholars. -/- In this paper I argue that Hume's use of the epigram from Lucan is directly relevant to his use of the epigram from Tacitus. The epigrams flag very clearly the anti-Christian nature of Hume's intentions in the Treatise and his affiliations with and allegiance to an anti-Christian tradition of thought that stretches from Hobbes and Spinoza in the late seventeenth century to a circle of anti-Newtonian radical freethinkers that appeared in Britain in the first part of the eighteenth century. In more general terms these epigrams are a notable and illuminating example of esoteric communication in this context, and they indicate that the Treatise has an important place in the literature of the radical enlightenment. (shrink)

This paper offers a critical examination of Fischer and Ravizza's attempt in Responsibility and Control to give a comprehensive account of the kind of control that grounds moral responsibility (RC, 14). The kind of control required for moral responsibility, they argue, is not some form of regulative control that involves alternate possibilities. What is required is guidance control, which is compatible with causal determinism (RC, 34). Guidance control has 'two separate dimensions' that Fischer and Ravizza aim to articulate and defend. (...) The first of these is that the mechanism that actually issues in the relevant conduct must be moderately reasons-responsive. The second is that the mechanism concerned must be the agent's own. The arguments that Fischer and Ravizza provide in defence of this overall position are carefully articu- lated and imaginatively defended. It is impossible not to admire this book. It will receive and deserves to receive a considerable amount of attention and discussion from all those who have an interest in the free will problem. I am confident that this work will prove to be of lasting influence and importance. My own discussion shows that I am not persuaded by the particular arguments that Fischer and Ravizza have given to support the two basic components of guidance control. How- ever, if my own experience is anything to judge by, readers will find this book challenging, stimulating, and highly rewarding. It sets a high standard by which to evaluate and assess other work and theories in the field. (shrink)

My principal objective in this essay will be to show that the widely held view that Hume's Treatise' is not significantly or "directly" concerned with problems of religion is seriously mistaken. I shall approach this issue by way of an examination of a major skeptical theme that runs throughout the Treatise; namely, Hume's skepticism regarding the powers of demonstrative reason. In this paper I shall be especially concerned to bring to light the full significance of this skeptical theme by placing (...) Hume's arguments in their appropriate historical context. I shall show that both Hume and his contemporaries recognized that these important skeptical arguments were aimed primarily against the dogmatic Christian rationalism of John Locke and above all Samuel Clarke, and that they were, therefore, well aware that these arguments had considerable theological significance. (shrink)

This article examines the free will problem as it arises within Thomas Hobbes' naturalistic science of morals in early modern Europe. It explains that during this period, the problem of moral and legal responsibility became acute as mechanical philosophy was extended to human psychology and as a result human choices were explained in terms of desires and preferences rather than being represented as acts of an autonomous faculty. It describes how Hobbes changed the face of moral philosophy, through his Leviathan, (...) in ways that still structure and resonate within the contemporary debate. (shrink)

... The Philosophers’ Quarrel is an enjoyable tour through the salons, great cities and country retreats of the Enlightenment, in the company of some of its brightest stars. Although much of the tale turns on some tedious details of the various intrigues of Hume and Rousseau, together with their friends and collaborators, Zaretsky and Scott manage to provide their account with a number of interesting and valuable insights into the character of the thinkers involved and the social and cultural life (...) of Enlightenment Europe at this time. I particularly recommend this book to contemporary academics, who may be comforted and reassured to see that prickly, neurotic and insecure dispositions are not the invention of contemporary academic life. (shrink)

John Corcoran and George Boger. Aristotelian logic and Euclidean geometry. Bulletin of Symbolic Logic. 20 (2014) 131. -/- By an Aristotelian logic we mean any system of direct and indirect deductions, chains of reasoning linking conclusions to premises—complete syllogisms, to use Aristotle’s phrase—1) intended to show that their conclusions follow logically from their respective premises and 2) resembling those in Aristotle’s Prior Analytics. Such systems presuppose existence of cases where it is not obvious that the conclusion follows from the (...) premises: there must be something deductions can show. Corcoran calls a proposition that follows from given premises a hidden consequence of those premises if it is not obvious that the proposition follows from those premises. By a Euclidean geometry we mean an extended discourse beginning with basic premises—axioms, postulates, definitions—1) treating a universe of geometrical figures and 2) resembling Euclid’s Elements. There were Euclidean geometries before Euclid (fl. 300 BCE), even before Aristotle (384–322 BCE). Bochenski, Lukasiewicz, Patzig and others never new this or if they did they found it inconvenient to mention. Euclid shows no awareness of Aristotle. It is obvious today—as it should have been obvious in Euclid’s time, if anyone knew both—that Aristotle’s logic was insufficient for Euclid’s geometry: few if any geometrical theorems can be deduced from Euclid’s premises by means of Aristotle’s deductions. Aristotle’s writings don’t say whether his logic is sufficient for Euclidean geometry. But, there is not even one fully-presented example. However, Aristotle’s writings do make clear that he endorsed the goal of a sufficient system. Nevertheless, incredible as this is today, many logicians after Aristotle claimed that Aristotelian logics are sufficient for Euclidean geometries. This paper reviews and analyses such claims by Mill, Boole, De Morgan, Russell, Poincaré, and others. It also examines early contrary statements by Hintikka, Mueller, Smith, and others. Special attention is given to the argumentations pro or con and especially to their logical, epistemic, and ontological presuppositions. What methodology is necessary or sufficient to show that a given logic is adequate or inadequate to serve as the underlying logi of a given science. (shrink)

In laying out his theory of public reason, John Rawls is adamant that there be a clear distinction between private and public reason. Rawls says that political society under the theory of political liberalism is not an association. Associations, he says, are private communities, and the domain of private reason. Private reason, furthermore, occurs in the domain of private associations. Public reason, however, occurs beyond the scope of private associations, in an overlapping domain of shared reasons. In fact, Rawls (...) says that public reasons are not bound by association at all. But I think this conceptual move is not necessary. I will argue that public reason, as Rawls describes it, does occur in the context of a public association, which is an association of individual citizens who share certain – specific ends – as shown by the concept of the overlapping consensus, amongst other components of the theory. There are ends of which the public agree, and those are the ends laid out by the principles of the political conception, which are expressed with the association of an overlapping consensus, realm of public reason, and in a minimum of requisite shared values, history, education, and other forms of ideas that are meant to bond citizens by public association, which makes public reason possible under the theory of public reason. (shrink)

JOHN CORCORAN AND WILIAM FRANK. Surprises in logic. Bulletin of Symbolic Logic. 19 253. Some people, not just beginning students, are at first surprised to learn that the proposition “If zero is odd, then zero is not odd” is not self-contradictory. Some people are surprised to find out that there are logically equivalent false universal propositions that have no counterexamples in common, i. e., that no counterexample for one is a counterexample for the other. Some people would be surprised (...) to find out that in normal first-order logic existential import is quite common: some universals “Everything that is S is P” —actually quite a few—imply their corresponding existentials “Something that is S is P”. Anyway, perhaps contrary to its title, this paper is not a cataloging of surprises in logic but rather about the mistakes that did or might have or might still lead people to think that there are no surprises in logic. The paper cataloging of surprises in logic is on our “to-do” list. -/- ► JOHN CORCORAN AND WILIAM FRANK, Surprises in logic. Philosophy, University at Buffalo, Buffalo, NY 14260-4150, USA E-mail: [email protected] There are many surprises in logic. Peirce gave us a few. Russell gave Frege one. Löwenheim gave Zermelo one. Gödel gave some to Hilbert. Tarski gave us several. When we get a surprise, we are often delighted, puzzled, or skeptical. Sometimes we feel or say “Nice!”, “Wow, I didn’t know that!”, “Is that so?”, or the like. Every surprise belongs to someone. There are no disembodied surprises. Saying there are surprises in logic means that logicians experience surprises doing logic—not that among logical propositions some are intrinsically or objectively “surprising”. The expression “That isn’t surprising” often denigrates logical results. Logicians often aim for surprises. In fact, [1] argues that logic’s potential for surprises helps motivate its study and, indeed, helps justify logic’s existence as a discipline. Besides big surprises that change logicians’ perspectives, the logician’s daily life brings little surprises, e.g. that Gödel’s induction axiom alone implies Robinson’s axiom. Sometimes wild guesses succeed. Sometimes promising ideas fail. Perhaps one of the least surprising things about logic is that it is full of surprises. Against the above is Wittgenstein’s surprising conclusion : “Hence there can never be surprises in logic”. This paper unearths basic mistakes in [2] that might help to explain how Wittgenstein arrived at his false conclusion and why he never caught it. The mistakes include: unawareness that surprise is personal, confusing logicians having certainty with propositions having logical necessity, confusing definitions with criteria, and thinking that facts demonstrate truths. People demonstrate truths using their deductive know-how and their knowledge of facts: facts per se are epistemically inert. [1] JOHN CORCORAN, Hidden consequence and hidden independence. This Bulletin, vol.16, p. 443. [2] LUDWIG WITTGENSTEIN, Tractatus Logico-Philosophicus, Kegan Paul, London, 1921. -/-. (shrink)

This paper will annoy modern logicians who follow Bertrand Russell in taking pleasure in denigrating Aristotle for [allegedly] being ignorant of relational propositions. To be sure this paper does not clear Aristotle of the charge. On the contrary, it shows that such ignorance, which seems unforgivable in the current century, still dominated the thinking of one of the greatest modern logicians as late as 1831. Today it is difficult to accept the proposition that Aristotle was blind to the fact (...) that, for example, incommensurability is a relation and not a property: that the proposition “In every square, the diagonals are incommensurable with the sides” is relational and not categorical. This paper asks the reader to do something more difficult: to accept the proposition that as late as 1831 De Morgan was blind to the same fact. This paper shows conclusively that in 1831, De Morgan was still in the grips of the allegedly Aristotelian paradigm. (shrink)

John Turri gives an example that he thinks refutes what he takes to be “G. E. Moore's view” that omissive assertions such as “It is raining but I do not believe that it is raining” are “inherently ‘absurd'”. This is that of Ellie, an eliminativist who makes such assertions. Turri thinks that these are perfectly reasonable and not even absurd. Nor does she seem irrational if the sincerity of her assertion requires her to believe its content. A commissive counterpart (...) of Ellie is Di, a dialetheist who asserts or believes that The Russell set includes itself but I believe that it is not the case that the Russell set includes itself. Since any adequate explanation of Moore's paradox must handle commissive assertions and beliefs as well as omissive ones, it must deal with Di as well as engage Ellie. I give such an explanation. I argue that neither Ellie's assertion nor her belief is irrational yet both are absurd. Likewise neither Di's assertion nor her belief is irrational yet in contrast neither is absurd. I conclude that not all Moore-paradoxical assertions or beliefs are irrational and that the syntax of Moore's examples is not sufficient for the absurdity found in them. (shrink)

This paper offers a critical examination of Fischer and Ravizza's attempt in Responsibility and Control to give a comprehensive account of the kind of control that grounds moral responsibility (RC, 14). The kind of control required for moral responsibility, they argue, is not some form of regulative control that involves alternate possibilities. What is required is guidance control, which is compatible with causal determinism (RC, 34). Guidance control has 'two separate dimensions' that Fischer and Ravizza aim to articulate and defend. (...) The first of these is that the mechanism that actually issues in the relevant conduct must be moderately reasons-responsive. The second is that the mechanism concerned must be the agent's own. The arguments that Fischer and Ravizza provide in defence of this overall position are carefully articu- lated and imaginatively defended. It is impossible not to admire this book. It will receive and deserves to receive a considerable amount of attention and discussion from all those who have an interest in the free will problem. I am confident that this work will prove to be of lasting influence and importance. My own discussion shows that I am not persuaded by the particular arguments that Fischer and Ravizza have given to support the two basic components of guidance control. How- ever, if my own experience is anything to judge by, readers will find this book challenging, stimulating, and highly rewarding. It sets a high standard by which to evaluate and assess other work and theories in the field. (shrink)

This paper discusses the history of the confusion and controversies over whether the definition of consequence presented in the 11-page 1936 Tarski consequence-definition paper is based on a monistic fixed-universe framework?like Begriffsschrift and Principia Mathematica. Monistic fixed-universe frameworks, common in pre-WWII logic, keep the range of the individual variables fixed as the class of all individuals. The contrary alternative is that the definition is predicated on a pluralistic multiple-universe framework?like the 1931 Gödel incompleteness paper. A pluralistic multiple-universe framework recognizes multiple (...) universes of discourse serving as different ranges of the individual variables in different interpretations?as in post-WWII model theory. In the early 1960s, many logicians?mistakenly, as we show?held the ?contrary alternative? that Tarski 1936 had already adopted a Gödel-type, pluralistic, multiple-universe framework. We explain that Tarski had not yet shifted out of the monistic, Frege?Russell, fixed-universe paradigm. We further argue that between his Principia-influenced pre-WWII Warsaw period and his model-theoretic post-WWII Berkeley period, Tarski's philosophy underwent many other radical changes. (shrink)

From my ongoing "Metalogical Plato" project. The aim of the diagram is to make reasonably intuitive how the Socratic elenchos (the logic of refutation applied to candidate formulations of virtues or ruling knowledges) looks and works as a whole structure. This is my starting point in the project, in part because of its great familiarity and arguable claim to being the inauguration of western philosophy; getting this point less wrong would have broad and deep consequences, including for philosophy’s self-understanding. -/- (...) (i.) is the first pass at elenchos in which the Socratic interlocutor does not reflect on knowledge being the crux of the problem. (ii.) is the second, rarer, reflective pass in which they are, making the investigation explicitly about knowledge. Its centrality in the Charmides makes that neglected dialogue of superlative importance. This structure is also the gateway through which the discussion/dialectic crosses into the Agathology (discussion of the form of the good) at Republic 505. -/- The problem of elenchos, then, grasped as a whole structure, is that it seems that knowledge can neither satisfactorily be included in nor excluded from its own scope. The development of the ti esti (“what is ---?”) question leads to the introduction of knowledge into its own scope (i. implicitly, as goodness contrasted with blind rule-following ii. explicitly qua knowledge) while the development of the dual peri tinos (“----about what?) question leads to K’s elimination from its own scope. The introductions are motivated to avoid contradiction, but produce regress; the eliminations are motivated to avoid regress, but produce contradiction. In scholarship, and in the history of philosophy, the ti esti question is universally recognized, to the point of being identified with philosophy’s origin and essence; the peri tinos question is neglected textually and never recognized as the equal dual to the ti esti. This, I claim, has blocked the development of a nontrivial logical appreciation of what Plato's Socrates is up to. (One rather disastrous effect of this neglect is taking Aristotle as the beginning of the development of logic, rather than, correctly, for the beginning of logic’s fatal separation from mathematics and dialectic.) -/- Further, because of this monopticism of the ti esti, the function of consistency in the elenchos has not been understood, even with respect to the ti esti. The ti esti is actually in search of completeness, given a norm of consistency; the peri tinos is in search of consistency, given a norm of completeness. Only appreciating the two questions as dual allows space in the structure to clarify these different orientations relative to consistency. (And, dually, to completeness, whose function in the elenchos is generally entirely missed by scholars and relegated to discussions of eros; it's not out of place there, of course, but its significance is secured here.) Recognizing the duality of the ti esti and peri tinos questions is thus the royal road, in the Socratic-Platonic context, to catching sight of what we post-Cantorians can recognize as the metalogical duality of consistency and completeness. (The salutary disruptive effects of this Plato-Cantor proximity have, of course, been traced in complementary ways by Badiou.) -/- Note that the diagram is supposed to provide a relatively accessible orientation, not to stand on its own, and certainly not to be the last word on any subject. An important qualification (telegraphed in the previous paragraph) is that what elenchos shows is not finally circular or paradoxical, though the problem first presents as such (stubbornly, obdurately, as "difficult" Plato's Socrates always says with characteristic understatement). What is depicted here is meant, at a first pass, to be the shape of that first presentation, the form of the problem of elenchos, rather than of its solution. It's not an accident that this problem strongly resembles "Russell's paradox" (not Russell's not a paradox.) Problem is to solution as RP is to the diagonal theorems. (shrink)

This article accomplishes two closely connected things. First, it refutes an influential view about the relationship between perception and knowledge. In particular, it demonstrates that perceiving does not entail knowing. Second, it leverages that refutation to demonstrate that knowledge is not the most general factive propositional attitude.

ABSTRACT: In its strongest unqualified form, the principle of wholistic reference is that in any given discourse, each proposition refers to the whole universe of that discourse, regardless of how limited the referents of its non-logical or content terms. According to this principle every proposition of number theory, even an equation such as "5 + 7 = 12", refers not only to the individual numbers that it happens to mention but to the whole universe of numbers. This principle, its history, (...) and its relevance to some of Oswaldo Chateaubriand's work are discussed in my 2004 paper "The Principle of Wholistic Reference" in Essays on Chateaubriand's "Logical Forms". In Chateaubriand's réplica (reply), which is printed with my paper, he raised several important additional issues including the three I focus on in this tréplica (reply to his reply): truth-values, universes of discourse, and formal ontology. This paper is self-contained: it is not necessary to have read the above-mentioned works. The principle of wholistic reference (PWR) was first put forth by George Boole in 1847 when he espoused a monistic fixed-universe viewpoint similar to the one Frege and Russell espoused throughout their careers. Later, Boole elaborated PWR in 1854 from the pluralistic multiple-universes perspective. (shrink)

Corcoran, John. 2005. Meanings of word: type-occurrence-token. Bulletin of Symbolic Logic 11(2005) 117. -/- Once we are aware of the various senses of ‘word’, we realize that self-referential statements use ambiguous sentences. If a statement is made using the sentence ‘this is a pronoun’, is the speaker referring to an interpreted string, a string-type, a string-occurrence, a string-token, or what? The listeners can wonder “this what?”. -/- John Corcoran, Meanings of word: type-occurrence-token Philosophy, University at Buffalo, Buffalo, NY (...) 14260-4150 E-mail: [email protected] The four-letter written-English expression ‘word’, which plays important roles in applications and expositions of logic and philosophy of logic, is ambiguous (multisense, or polysemic) in that it has multiple normal meanings (senses, or definitions). Several of its meanings are vague (imprecise, or indefinite) in that they admit of borderline (marginal, or fringe) cases. This paper juxtaposes, distinguishes, and analyses several senses of ‘word’ focusing on a constellation of senses analogous to constellations of senses of other expression words such as ‘expression’, ‘symbol’, ‘character’, ‘letter’, ‘term’, ‘phrase’, ‘formula’, ‘sentence’, ‘derivation’, ‘paragraph’, and ‘discourse’. Consider, e.g., the word ‘letter’. In one sense there are exactly twenty-six letters (letter-types or ideal letters) in the English alphabet and there are exactly four letters in the word ‘letter’. In another sense, there are exactly six letters (letter-repetitions or letter-occurrences) in the word-type ‘letter’. In yet another sense, every new inscription (act of writing or printing) of ‘letter’ brings into existence six new letters (letter-tokens or ink-letters) and one new word that had not previously existed. The number of letter-occurrences (occurrences of a letter-type) in a given word-type is the same as the number of letter-tokens (tokens of a letter-type) in a single token of the given word. Many logicians fail to distinguish “token” from “occurrence” and a few actually confuse the two concepts. Epistemological and ontological problems concerning word-types, word-occurrences, and word-tokens are described in philosophically neutral terms. This paper presents a theoretical framework of concepts and principles concerning logicography, including use of English in logic. The framework is applied to analytical exposition and critical evaluation of classic passages in the works of philosophers and logicians including Boole, Peirce, Frege, Russell, Tarski, Church and Quine. This paper is intended as a philosophical sequel to Corcoran et al. “String Theory”, Journal of Symbolic Logic 39(1974) 625-637. https://www.academia.edu/s/cdfa6c854e?source=link -/- . (shrink)

Since the time of Aristotle's students, interpreters have considered Prior Analytics to be a treatise about deductive reasoning, more generally, about methods of determining the validity and invalidity of premise-conclusion arguments. People studied Prior Analytics in order to learn more about deductive reasoning and to improve their own reasoning skills. These interpreters understood Aristotle to be focusing on two epistemic processes: first, the process of establishing knowledge that a conclusion follows necessarily from a set of premises (that is, on the (...) epistemic process of extracting information implicit in explicitly given information) and, second, the process of establishing knowledge that a conclusion does not follow. Despite the overwhelming tendency to interpret the syllogistic as formal epistemology, it was not until the early 1970s that it occurred to anyone to think that Aristotle may have developed a theory of deductive reasoning with a well worked-out system of deductions comparable in rigor and precision with systems such as propositional logic or equational logic familiar from mathematical logic. When modern logicians in the 1920s and 1930s first turned their attention to the problem of understanding Aristotle's contribution to logic in modern terms, they were guided both by the Frege-Russell conception of logic as formal ontology and at the same time by a desire to protect Aristotle from possible charges of psychologism. They thought they saw Aristotle applying the informal axiomatic method to formal ontology, not as making the first steps into formal epistemology. They did not notice Aristotle's description of deductive reasoning. Ironically, the formal axiomatic method (in which one explicitly presents not merely the substantive axioms but also the deductive processes used to derive theorems from the axioms) is incipient in Aristotle's presentation. Partly in opposition to the axiomatic, ontically-oriented approach to Aristotle's logic and partly as a result of attempting to increase the degree of fit between interpretation and text, logicians in the 1970s working independently came to remarkably similar conclusions to the effect that Aristotle indeed had produced the first system of formal deductions. They concluded that Aristotle had analyzed the process of deduction and that his achievement included a semantically complete system of natural deductions including both direct and indirect deductions. Where the interpretations of the 1920s and 1930s attribute to Aristotle a system of propositions organized deductively, the interpretations of the 1970s attribute to Aristotle a system of deductions, or extended deductive discourses, organized epistemically. The logicians of the 1920s and 1930s take Aristotle to be deducing laws of logic from axiomatic origins; the logicians of the 1970s take Aristotle to be describing the process of deduction and in particular to be describing deductions themselves, both those deductions that are proofs based on axiomatic premises and those deductions that, though deductively cogent, do not establish the truth of the conclusion but only that the conclusion is implied by the premise-set. Thus, two very different and opposed interpretations had emerged, interestingly both products of modern logicians equipped with the theoretical apparatus of mathematical logic. The issue at stake between these two interpretations is the historical question of Aristotle's place in the history of logic and of his orientation in philosophy of logic. This paper affirms Aristotle's place as the founder of logic taken as formal epistemology, including the study of deductive reasoning. A by-product of this study of Aristotle's accomplishments in logic is a clarification of a distinction implicit in discourses among logicians--that between logic as formal ontology and logic as formal epistemology. (shrink)

ABSTRACT. It is common for Bertrand Russell’s admirers to repeat his many quips about other people’s lack of good sense, for example, “most people would die sooner than think – in fact, they do so.”1 But it is less common for them to assert that this view is one of Russell’s fundamental assumptions about human nature and at the core of his serious moral, social, and political thought. This essay aims to show that this expressed scepticism about human (...) reason is indeed a core assumption of Russell’s public philosophy throughout his life. Even if one accepts this, however, one can still ask: “But is it true?” It will be argued that there is much support for Russell’s view of human reason in recent psychological literature. Examples of how this assumption affects Russell’s social and political thought are indicated. 1. The complete and correct quote is “We all have a tendency to think that the world must conform to our prejudices. The opposite view involves some effort of thought, and most people would die sooner than think – in fact, they do so.” (The ABC of Relativity, 1925). (shrink)

This paper shows that Russell’s theory of descriptions gives the wrong se-mantics for definite descriptions occurring in questions and imperatives. Depending on how that theory is applied, it either assigns nonsense to per-fectly meaningful questions and assertions or it assigns meanings that di-verge from the actual semantics of such sentences, even after all pragmatic and contextual variables are allowed for. Given that Russell’s theory is wrong for questions and assertions, it must be wrong for assertoric state-ments; for the (...) semantics of ‘the phi’ obviously doesn’t vary depending on whether it occurs in a question or an assertion or a command. (shrink)